from snakes.nets import *
from veri.chkrs import Checker
from pispecs import *


chk=Checker()
# net = chk.toNet(Spaw)
chk.checkAll(Spaw_Norm_2)



# net=PetriNet('Net')
# 
# s1=Place('s1', [dot], tBlackToken)
# s2=Place('s2', [], tBlackToken)
# 
# net.add_place(s1)
# net.add_place(s2)
# 
# transition=Transition('t', Expression('True'))
# net.add_transition(transition)
# 
# net.add_input('s1', 't', Value(dot))
# net.add_output('s2', 't', Value(dot))
# 
# 
# s3=Place('s2', [], tBlackToken)
# transition=Transition('t2', Expression('False'))
# net.add_transition(transition)
# net.add_input('s1', 't2', Value(dot))
# net.add_output('s1', 't2', Value(dot))

